"bit-exact modeling precision" . . . "bit-exact modeling precision" .