Exploiting Verified Neural Networks via Floating Point Numerical Error