0.4999はどこから出てきたんだろうな