Fix type violations.
Removed duplicated integer_to_binary.