wip/py-divmod-mantissa
