v8.0.0614
863e80b4 · patch 8.0.0614: float2nr() is not exactly right ·