Revert "no float"

This reverts commit 1dee9bfb9091ef9f6dfaaa5f93e07bede462814e.