typedefs for integer and floating point values