Math: document more non-obvious tricks.