use bigprint_spec instead of bigprint