The issue is that JSONEncoder does not currently allow top-level fragments — you would be able to encode [f80] or {“...”: f80} but not f80 directly, unfortunately.
This is something we’d like to address at some point soon — please see Top-level \(T.self) encoded as number JSON fragment and associated threads/bugs (SR-6163) for more info.