idris-0.9.19: test/effects005/expected

"3 : Doing the double with 3"
6
8
"3 : [\"NumOPS\"] : Doing the double with 3"
6