@override Object toJson() { return { if (name.isNotDefault) 'name': name, if (sigma.isNotDefault) 'sigma': encodeDouble(sigma), }; }