cosmetics: Use 'num' instead of 'nom' as abbreviation for numerator.