Minor fixes for FloatSpec, IntegerSpec and types.hpp