IDE-1451.  Favor float over double for integer types, cuz that's what Java does