Title: Tutorial material on the real data types in ADA