Add Miguel Negrao's quarks, namelly FP Lib.