septendecimal

not defined yet