NULL as an element of an ARRAY

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?