Ah, is this because we don't want to test floating point equality?