Ancient Egyptian Double False Position Algorithm and eTCL demo example cart horse decrements