floating point defaults