integer_to_binary and float_to_binary don't exist before R16