void eeprom_write_float(
	float * __p,
	float __value)

Write a float __value to EEPROM address __p.