now ReadFloat is instead scanf