misc >> divider by irrational
misc >> divider by irrational