a few tweaks to reals