Ah cool, so something is definitely handling the int() conversion.