Replace Q with rat, R+ with {nonneg R}...

RminStruct.v

backlogged_period.v

cumulative_curves.v

deviations.v

fifo.v

minerve/PA.v

minerve/PA_refinement.v

minerve/UPP.v

minerve/UPP_PA.v

minerve/UPP_PA_refinement.v

minerve/ratdiv.v

minerve/tactic.v

services.v

static_priority.v

usual_functions.v