fixed wrong output for machine integer test