Added data type for inexact (real) numbers and basic operations