The latest server allows NULL as an element of a numeric array (not
just the entire array as a NULL). But using getArray on this gives the
error 'Bad value for type Float: NULL' in
AbstractJdbc2ResultSet.toFloat(). I assume it's trying to parse a
string without special-casing NULL.
Have I missed something?