phpのfloatって倍精度保証?