This is a thread from back when area() was being implemented, which alludes to the algorithm employed. @martijnr may know the actual specifics, or you could poke around the javaRosa codebase and decipher the actual calculation.