add first test to ieee 754.v