Real pattern matching