Make sure modified after is passed with full precision