handle type conversion between integer and floating point numbers in decoder