Text this: Intermediate values and inverse functions on non-Archimedean fields