{
  "degree": 4,
  "width": 16,
  "int_width": 8,
  "is_signed": false,
  "base_is_e": true
}