Fix "maybe" rounding bug.

Introduced in d63161426f256c293c92b73f1be4b375f962d298.