Builds a codec for representing a Double value.
Double
default codec for Double.
human readable identifier used in error messages.