[GHC] #11402: Add Peano numbers