PHP: 浮動小数点数 - Manual