Primitive Recursive Ordered Fields and Some Applications