added VMFloat type