Even for those standing on the shoulders of giants?

I am talking about the ones almost on the floor: min max long etc ...

those are all functions that are inlined, so specs can’t be used to instrument them (although you could get some value from spec’ing them for documentation purposes)

they are all also a little ambiguous about exactly what numeric types are supported as inputs. number? is probably a good first guess, but would need a bit more effort to nail that down.