"fdivrp"        : 3fd5555560000000
"fsqrt"         : 3ff6a09e60000000
"faddp"         : 3fc99999a0000000
