As an aside, don't use Float. Unless you have a specific reason to
want a half-precision floating point type, you should use Double.