extend domain of F to -∞ < phi < ∞