Has anyone implemented a Float8 / Quarter type?

Using Swift
39

Looks like the fix of SR-12312 didn't make it into Swift 5.2 / Xcode 11.4.

JSONEncoder / Encodable: Floating point rounding error