Refactor smart-float.
Integer, smart-float are broken.