<?php
echo 100.3-100.2
?>
输出结果不是0.1而是0.09999999999994,这是怎么回事呀,怎样才能返回正确的结果