Synced with dolo.numeric.interpolation.