model::operator>>: now it can read floating-point coordinates