Define binary_to_integer (only) if unavailable