[math-fun] Mixed numbers?