add mathn library for strict rational calculation