Change integer to binary conversion to be R15 compatible