It was definitely a problem with their database but I suppose it's possible that the customers were also expecting 32 bit signed ints.