fix #7491

InexactError on 32 bit