PTNumber is type compatible with PTInteger, provided it is on the lhs (for now).