legalize add etc. of < 32-bit illegal values properly; fixes #1505