fix floating point specifier and clean up a warning