Vacuum Boogie Floating Points