Better comment the floating point issue.