Text this: Infinite dimensional Ornstein-Uhlenbeck processes with unbounded diffusion - Approximation, quadratic variation, and Itô formula.