Update Nat and Nichomachus example to the new format