A modern ActionScript3 BigDecimal implementation focusing on performance, correctness and cleanliness