Rename VectoFloat; add __main__.py