Added a setFloat() that takes a Float to avoid
auto-boxing in the case where a Float is already
at hand.