move InsPr::Float to separate file