change float8 to bigfloat