/* Maxima has integers of arbitrary length */
170141183460469231731687303715884105727