type bounds and peano numbers