Added comment giving origin of float=