[ new ] implementing _*_ for Nat