Work around for integer_to_binary/2 bug