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