Fix integer conversion on R15