{
  "degree": 2,
  "width": 32,
  "int_width": 16,
  "is_signed": false
}