fix bigfloat itrunc error

Currently `itrunc(2.7) == 3`. This fixes it, and some errors in the Ziggurat tables that arose. See #9133.