Tony Cook 747670eba8 add sv_numle(), sv_numlt(), sv_numge(), sv_numgt() APIs
These are all needed because overloading may make them inconsistent
with <=> overloading.
2026-01-22 13:07:35 +11:00
..
2022-05-04 09:35:44 -06:00
2024-08-03 21:57:17 -05:00
2023-07-03 14:10:04 +10:00
2025-09-02 18:20:20 -06:00