flo wants to play with poincare arithmetic