Introduced Real typedef (in support of #13 and #14)