/stdnum/se/