fix up double-float conversion