specify the floating point type