Add specs for encoding/decoding with explicit precision.