Make these StringyFloats for now (Float/StringyFloat will be unified soon).