fix bigfloat itrunc error

backport of 9ce91ffc87894318edb89295225e334269bc8922, ref #9138