"Though, round up can happen, particularly when a double for such a number as 1.333... is truncated to a float." . . . .