Precision-Rappel

Will fail later if `N == 0` or `M == 0`