s3.2 floating point format is done