I am put off by the repeated use of the term gravel. Gravel is rounded particles produced by natural forces. It is worthless for paving. For a stable floor the material needs to be angular particles graded from top size to dust. Ideally it would be crushed stone, commonly known as dense graded aggregate. Recycled concrete of the proper gradation is probably equivalent to crushed stone.