Be explicit about float format.