Text this: Lectures on finite precision computations