Should take `dinteger_t`?