Thanks @frabiacca. Indeed, that’s an alternative I can think of, though it’s not quite ideal.
The big advantage that this solution can properly make use of MySQL’s geospatial functions.
There’s also this:
https://wordpress.stackexchange.com/a/183503/43252