double/float decoders, see #38