[math-fun] maxdet & other larger numbers -- which am I sure of?