Commiting before reorganization
Split into many files
Clearing up mess with RArith.v vs Rarith.v
Clearing up mess with RArith.v vs Rarith.v