seems to be a typo in numeric extension

in line 159, or i am wrong?