Fixed (possible) bug when comparing numbers in boro_cmp().