The Skolem-Bang theorems in ordered fields with an IP