added type definition for real