Implemented the Float type and added some appropriate tests.

Closes #12