type
  SInt* = distinct int