normalized floating point number example