Hyperreal Specifications for Continuous Sparse Data Computations [video]