mathi.h 16:17