Septendecimal definitions