I’m not at the PC currently, but I’d guess it’s a case of intermediary precision.
A and B might be integer64s, but you haven’t specified your constants.
Try:
a = 2&& ^ 55&& - 1&& ‘ This number should be odd.
b = 36028797018963967&& ' The number above should equal this one.