Workaround for bad rounding. #58