Major Customers (Details) (Revenue [Member], Customer Concentration Risk [Member])	3 Months Ended	6 Months Ended	3 Months Ended	6 Months Ended				3 Months Ended		6 Months Ended
	Oct. 31, 2013 From Unrelated Customers [Member] Customer	Oct. 31, 2013 From Unrelated Customers [Member] Gaming Business [Member] Customer	Oct. 31, 2014 From Unrelated Customers [Member] Voting Business [Member] Customer	Oct. 31, 2014 From Unrelated Customers [Member] Voting Business [Member] Customer	Oct. 31, 2014 From Unrelated Customer One [Member] Voting Business [Member]	Oct. 31, 2014 From Unrelated Customer Two [Member] Voting Business [Member]	Oct. 31, 2014 From Related Customers [Member] Customer	Oct. 31, 2014 From Related Customers [Member] Gaming Business [Member] Customer	Oct. 31, 2013 From Related Customers [Member] Gaming Business [Member] Customer	Oct. 31, 2013 From Related Customers [Member] Gaming Business [Member] Customer
Concentration Risk [Line Items]
Number of major customers	0	1	1	2			0	1	1	1
Concentration risk, percentage (in hundredths)		40.00%	43.00%	68.00%	47.00%	21.00%		17.00%	95.00%	52.00%