I think it works!

There is one conversion error that is ~a part in 10^7, which is probably
too big to be acceptable, but may reflect errors up the chain rather
than here