• Nice question. Easy if one recognises the decimal representation of 2**31.

    Tom