Add type checking for floating points

[yihozhang]

After this support, several floats-related benchmarks are taking a significant amount of time to run, e.g., 3mm-test-benchmark took me 400s, and some never finished.