Added note about float encoding.