Compositional analysis of floating-point linear numerical filters